code generator finite state machine quantum programming java c++ j2ee asp embedded systems .net reactive systems asp.net pic16f84 pic php database fsm